1. Artificial intelligence : an introductory course
پدیدآورنده : A. Bundy... ]et. al.[.--]Rev.ed.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Artificial intelligence
رده :
Q
335
.
A774
2. Artificial intelligence techniques :
پدیدآورنده : Alan Bundy, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence -- Data processing.,Künstliche Intelligenz,Programm
رده :
Q336
.
A436
1997
3. Australian libraries: the essential directory
پدیدآورنده : / Compiled and edited by Alan and Judith Bundy
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : Libraries - Australia - Directories,Information Services - Australia - Directories
رده :
Bib
.
Z870
.
A1A83
2001
4. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
5. Automated Mathematical Induction
پدیدآورنده : edited by Hantao Zhang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic.
رده :
QA76
.
9
.
A96
E358
1996
6. Automated deduction, CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 ; proceedings
پدیدآورنده : Alan Bundy )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
814
7. Catalogue of Artificial Intelligence Tools
پدیدآورنده : edited by Alan Bundy, Lincoln Wallen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1984
8. Catalogue of Artificial Intelligence Tools
پدیدآورنده : edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1986
9. Catalogue of artificial intelligence techniques
پدیدآورنده : Alan Bundy )ed.(
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Artificial intelligence - Data processing
رده :
Q
.
B86
336
1990
10. Catalogue of artificial intelligence techniques
پدیدآورنده : Alan Bundy )ed(; asistant editor, Alan Smaill
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing ، Artificial intelligence
رده :
Q
336
.
C28
1990
11. Catalogue of artificial intelligence tools
پدیدآورنده : edited by Alan Bundy
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Artificial intelligence -- Data processing,، Robotics,، Electronic digital computers -- Programming,Catalogs ، Computer programs
رده :
Q
336
.
C27
1986
12. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
رده :
Q
336
.
B86
1986
13. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
رده :
Q
336
.
B86
1984
14. Catalogue of artificial intelligence tools
پدیدآورنده : BUNDY,ALAN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ARTIFICIAL INTELLIGENCE-DATA PROCESSING , ROBOTICS , ELECTRONIC DIGITAL COMPUTERS-
رده :
Q
336
.
B86
1986
15. Constantine to c. 600
پدیدآورنده : / edited by Augustine Casiday , Frederick W. Norris.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
رده :
R
BR165
.
C3
V
.
2
2007
16. Constantine to c. 600
پدیدآورنده : \ Edited By Augustine Casiday and Frederick W. Norris.
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : مسیحیت -- تاریخ -- کلیسای اولیه، ح.۳۰-۶۰۰م.
رده :
BR
200
.
C66
17. Constantine to c. 600
پدیدآورنده : edited by Augustine Casiday and Frederick W. Norris
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Church history - Primitive and early church, ca. 03-006
رده :
BR200
.
C66
2007
18. Constantine to c. 600
پدیدآورنده : edited by Augustine Casiday and Frederick W. Norris
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع : ، Church history - Primitive and early church, ca. 03-006
رده :
BR
200
.
C66
2007
19. The Cambridge history of Christianity: Constantine to c. 600
پدیدآورنده : edited by Augustine casiday and Frederick w. Norris
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع : ، Church history,، Church history - Primitive and early church, ca. 03-006
رده :
BR
145
.
2
.
C66
V
.
2
20. The computer modelling of mathematical reasoning /
پدیدآورنده : Alan Bundy, Department of Artificial Intelligence, Edinburgh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic theorem proving.,Logic, Symbolic and mathematical.,Mathematics-- Data processing.,Intelligence artificielle.,Anwendung,ARTIFICIAL INTELLIGENCE.,Automatic theorem proving.,Automatisches Beweisverfahren,Computersimulaties.,Inteligencia Artificial (Computacao),Künstliche Intelligenz,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Mathematics-- Data processing.,Mathematik,Mathematik.,Mathématiques-- Informatique.,Redeneren.,THEOREM PROVING.,Théorèmes-- Démonstration automatique.,Wiskunde.
رده :
QA76
.
95
.
B86
1983
